🧩 SAT Solvers

DPLL Algorithm, Conflict Analysis, Boolean Satisfiability, Formal Verification

Feeds to Scour
SubscribedAll
Scoured 83002 posts in 570.8 ms
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🎯Symbolic Execution
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔤Regex Engines
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·17h
📡Erlang BEAM
marzhall/BBL: A couple of tools for OpenEdge ABL
github.com·5h
📋Tablegen
First Proof | Research-Level Math for AI Evaluation
1stproof.org·22h·
Discuss: Hacker News
🧩Constraint Solvers
Intersection of Two Linked Lists
dev.to·16h·
Discuss: DEV
⏭️Skip Lists
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
πPi Calculus
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·5h·
Discuss: Hacker News
📜Proof Languages
Efficient Benchmarking of Logical Magic State
link.aps.org·1d
⚡Interpreter Optimization
Time-Complexity Characterization of NIST Lightweight Cryptography Finalists
arxiv.org·1d
🔗Hash Functions
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·11h
⚙️TOML Parsers
Implementing Automated Rules-Based Evaluations for LLM Applications
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
**Certified Lyapunov‑Based Stability Analysis for Autonomous Swarm Robotics using Sum‑of‑Squares Verification and Formal Proof Generation** **Abstract**
freederia.com·1d
🎯Symbolic Execution
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·7h
🏗️LLVM
EBM vs. LLMs: Our Kona EBM a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com·1d·
Discuss: Hacker News
🐹Minimal Go
Hardness of hinted ISIS from the space-time hardness of lattice problems
eprint.iacr.org·1d
🌸Bloom Indexing
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🌳Tree Walking
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·7h
🔄CPS Transforms
8-piece tablebase development on Lichess (op1 partial)
lichess.org·22m·
Discuss: Hacker News
🔀SSA Construction
Differential Logic • 1
inquiryintoinquiry.com·1d
🧩Constraint Logic

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help